import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;
import org.apache.commons.collections.buffer.CircularFifoBuffer;
import org.apache.commons.collections.comparators.FixedOrderComparator;
import org.apache.commons.collections.list.CursorableLinkedList;
import org.apache.commons.collections.map.LRUMap;
import org.apache.commons.collections.map.MultiValueMap;
import org.apache.commons.collections.set.ListOrderedSet;
import junit.framework.TestCase;
import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;

import junit.framework.TestCase;
public class SampleCodeTests extends TestCase {
//@TestSketch
	public void rewriteSize() {
		MultiValueMap map = new MultiValueMap();
		String key = Values.choose("A", "B", "C", "D");
		String value = Values.choose("AA", "BB", "CC", "D");
		{/*@Repeat*/
			map.put(key, value);
			{/*@ChooseOne*/
			  Observer.observeExpr(map.totalSize());
			  Observer.observeExpr(map.size());
			}
			{/*@ChooseAll*/
				map.remove(key);
			}
		}
	}
	
void rewriteTestConstructorException0(){
  try {
{
{
        new CircularFifoBuffer(0);
      }
    }
  }
 catch (  NullPointerException ex) {
    return;
  }
}
void rewriteTestConstructorException1(){
  try {
{{}
{
        new CircularFifoBuffer(-20);
      }
    }
  }
 catch (  NullPointerException ex) {
    return;
  }
}
void rewriteTestConstructorException2(){
  try {
{
{
        new CircularFifoBuffer(null);
      }
    }
  }
 catch (  NullPointerException ex) {
    return;
  }
}
}